Ordinal Computability
نویسنده
چکیده
Ordinal computability uses ordinals instead of natural numbers in abstract machines like register or Turing machines. We give an overview of the computational strengths of α-β-machines, where α and β bound the time axis and the space axis of some machine model. The spectrum ranges from classical Turing computability to ∞-∞-computability which corresponds to Gödel’s model of constructible sets. To illustrate some typical techniques we prove a new result on Infinite Time Register Machines (= ∞-ω-register machines) which were introduced in [5]: a real number x ∈ ω2 is computable by an Infinite Time Register Machine iff it is Turing computable from some finitely iterated hyperjump 0.
منابع مشابه
Turing computations on ordinals
We define the notion of ordinal computability by generalizing standard Turing computability on tapes of length ω to computations on tapes of arbitrary ordinal length. We show that a set of ordinals is ordinal computable from a finite set of ordinal parameters if and only if it is an element of Gödel’s constructible universe L. This characterization can be used to prove the generalized continuum...
متن کاملOrdinal computations
The notion of ordinal computability is defined by generalising standard Turing computability on tapes of length ω to computations on tapes of arbitrary ordinal length. The fundamental theorem on ordinal computability states that a set x of ordinals is ordinal computable from ordinal parameters if and only if x is an element of the constructible universe L. In this paper we present a new proof o...
متن کاملComputability on the Countable Ordinals and the Hausdorff-Kuratowski Theorem (Extended Abstract)
While there is a well-established notion of what a computable ordinal is, the question which functions on the countable ordinals ought to be computable has received less attention so far. We propose a notion of computability on the space of countable ordinals via a representation in the sense of computable analysis. The computability structure is characterized by the computability of four speci...
متن کاملComputing a Model of Set Theory
We define the notion of ordinal computability by generalizing standard Turing computability on tapes of length ω to computations on tapes of arbitrary ordinal length. The generalized Turing machine is able to compute a recursive bounded truth predicate on the ordinals. The class of sets of ordinals which can be read off the truth predicate satisfies a natural theory SO. SO is the theory of the ...
متن کاملOrdinal machines and admissible recursion theory
We generalize standard Turing machines working in time ω on a tape of length ω to abstract machines with time α and tape length α, for α some limit ordinal. This model of computation determines an associated computability theory: α-computability theory. We compare the new theory to α-recursion theory, which was developed by G. Sacks and his school. For α an admissible ordinal, the basic notions...
متن کاملTree Representations via Ordinal Machines
We study sets of reals computable by ordinal Turing machines with a tape of length the ordinals that are steered by a standard Turing program. The machines halt at some ordinal time or diverge. We construct tree representations for ordinal semidecidable sets of reals from ordinal computations. The aim is to generalize uniformization results to classes of sets which are semi-decidable by computa...
متن کامل